Optimal. Leaf size=119 \[ -\frac{\log \left (c \left (a+b x^2\right )^p\right )}{e (d+e x)}+\frac{b d p \log \left (a+b x^2\right )}{e \left (a e^2+b d^2\right )}-\frac{2 b d p \log (d+e x)}{e \left (a e^2+b d^2\right )}+\frac{2 \sqrt{a} \sqrt{b} p \tan ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )}{a e^2+b d^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0901617, antiderivative size = 119, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {2463, 801, 635, 205, 260} \[ -\frac{\log \left (c \left (a+b x^2\right )^p\right )}{e (d+e x)}+\frac{b d p \log \left (a+b x^2\right )}{e \left (a e^2+b d^2\right )}-\frac{2 b d p \log (d+e x)}{e \left (a e^2+b d^2\right )}+\frac{2 \sqrt{a} \sqrt{b} p \tan ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )}{a e^2+b d^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2463
Rule 801
Rule 635
Rule 205
Rule 260
Rubi steps
\begin{align*} \int \frac{\log \left (c \left (a+b x^2\right )^p\right )}{(d+e x)^2} \, dx &=-\frac{\log \left (c \left (a+b x^2\right )^p\right )}{e (d+e x)}+\frac{(2 b p) \int \frac{x}{(d+e x) \left (a+b x^2\right )} \, dx}{e}\\ &=-\frac{\log \left (c \left (a+b x^2\right )^p\right )}{e (d+e x)}+\frac{(2 b p) \int \left (-\frac{d e}{\left (b d^2+a e^2\right ) (d+e x)}+\frac{a e+b d x}{\left (b d^2+a e^2\right ) \left (a+b x^2\right )}\right ) \, dx}{e}\\ &=-\frac{2 b d p \log (d+e x)}{e \left (b d^2+a e^2\right )}-\frac{\log \left (c \left (a+b x^2\right )^p\right )}{e (d+e x)}+\frac{(2 b p) \int \frac{a e+b d x}{a+b x^2} \, dx}{e \left (b d^2+a e^2\right )}\\ &=-\frac{2 b d p \log (d+e x)}{e \left (b d^2+a e^2\right )}-\frac{\log \left (c \left (a+b x^2\right )^p\right )}{e (d+e x)}+\frac{(2 a b p) \int \frac{1}{a+b x^2} \, dx}{b d^2+a e^2}+\frac{\left (2 b^2 d p\right ) \int \frac{x}{a+b x^2} \, dx}{e \left (b d^2+a e^2\right )}\\ &=\frac{2 \sqrt{a} \sqrt{b} p \tan ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )}{b d^2+a e^2}-\frac{2 b d p \log (d+e x)}{e \left (b d^2+a e^2\right )}+\frac{b d p \log \left (a+b x^2\right )}{e \left (b d^2+a e^2\right )}-\frac{\log \left (c \left (a+b x^2\right )^p\right )}{e (d+e x)}\\ \end{align*}
Mathematica [A] time = 0.0721267, size = 137, normalized size = 1.15 \[ \frac{-b d^2 \log \left (c \left (a+b x^2\right )^p\right )-a e^2 \log \left (c \left (a+b x^2\right )^p\right )+b d^2 p \log \left (a+b x^2\right )+b d e p x \log \left (a+b x^2\right )+2 \sqrt{a} \sqrt{b} e p (d+e x) \tan ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )-2 b d p (d+e x) \log (d+e x)}{e (d+e x) \left (a e^2+b d^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.548, size = 755, normalized size = 6.3 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.55649, size = 582, normalized size = 4.89 \begin{align*} \left [\frac{{\left (e^{2} p x + d e p\right )} \sqrt{-a b} \log \left (\frac{b x^{2} + 2 \, \sqrt{-a b} x - a}{b x^{2} + a}\right ) +{\left (b d e p x - a e^{2} p\right )} \log \left (b x^{2} + a\right ) - 2 \,{\left (b d e p x + b d^{2} p\right )} \log \left (e x + d\right ) -{\left (b d^{2} + a e^{2}\right )} \log \left (c\right )}{b d^{3} e + a d e^{3} +{\left (b d^{2} e^{2} + a e^{4}\right )} x}, \frac{2 \,{\left (e^{2} p x + d e p\right )} \sqrt{a b} \arctan \left (\frac{\sqrt{a b} x}{a}\right ) +{\left (b d e p x - a e^{2} p\right )} \log \left (b x^{2} + a\right ) - 2 \,{\left (b d e p x + b d^{2} p\right )} \log \left (e x + d\right ) -{\left (b d^{2} + a e^{2}\right )} \log \left (c\right )}{b d^{3} e + a d e^{3} +{\left (b d^{2} e^{2} + a e^{4}\right )} x}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.22342, size = 213, normalized size = 1.79 \begin{align*} \frac{b d p \log \left (b x^{2} + a\right )}{b d^{2} e + a e^{3}} + \frac{2 \, a b p \arctan \left (\frac{b x}{\sqrt{a b}}\right )}{{\left (b d^{2} + a e^{2}\right )} \sqrt{a b}} - \frac{2 \, b d p x e \log \left (x e + d\right ) + b d^{2} p \log \left (b x^{2} + a\right ) + 2 \, b d^{2} p \log \left (x e + d\right ) + a p e^{2} \log \left (b x^{2} + a\right ) + b d^{2} \log \left (c\right ) + a e^{2} \log \left (c\right )}{b d^{2} x e^{2} + b d^{3} e + a x e^{4} + a d e^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]